InstanceArgumentsNotFound.agda:7,8-9
No instance of type A was found in scope.
when checking that the expression f has type B
